An Algebraic Formulation of Seitz's Weak Conditions for Self Timed Circuits
نویسنده
چکیده
Two fairly intuitive conditions are given that serve to algebraically characterize Seitz's "weak conditions" for self timed circuits. It is shown that these two conditions embody the 12 temporal logic conditions (developed by Owicki and Malachi) which are intended to express both the weak conditions as well as certain liveness properties that self timed circuits need to satisfy. This research was sponsored by Defense Advanced Research Projects Agency, US Department of Defense, Contract No.MDA903-81-C-0414.
منابع مشابه
Weak Algebraic Hyperstructures as a Model for Interpretation of Chemical Reactions
The concept of weak algebraic hyperstructures or Hv-structures constitutes a generalization of the well-known algebraic hyperstructures (semihypergroup, hypergroup and so on). The overall aim of this paper is to present an introduction to some of the results, methods and ideas about chemical examples of weak algebraic hyperstructures. In this paper after an introduction of basic definitions and...
متن کاملArchitectural Considerations for a Self-Timed Decoupled Processor
Self-timed processor designs offer several advantages over traditional synchronous designs. Further, when an asynchronous philosophy is incorporated at every stage of the design, the microarchitecture is more closely linked to the basic structures of the self-timed circuits themselves, and the resulting processor is quite simple and elegant. The Fred architecture presented here is an example of...
متن کاملGlobal versus Local Weak-Indication Self-Timed Function Blocks - A Comparative Analysis
This paper analyzes the merits and demerits of global weak-indication self-timed function blocks versus local weak-indication self-timed function blocks, implemented using a delay-insensitive data code and adhering to 4-phase return-to-zero handshaking. A self-timed ripple carry adder is considered as an example function block for the analysis. The analysis shows that while global weak-indicati...
متن کاملHow to Achieve Worst-Case Performance
\Average case performance" is an oft-cited motivation for self-timed design. In self-timed designs, computations proceed according to handshakes, and these handshakes can reeect the actual time required for operations rather than the worst-case time. The intuitive argument is that this should lead to systems whose performance reeects the average-case performance of their components. This paper ...
متن کاملWindchime: An FPGA-Based Self-Timed Parallel Processor
Self-timed circuits and scalable parallel computers seem to be a natural match, but one that has not been exploited by traditional system designers. One reason for the lack of experimentation with self-timed systems such as these is the lack of commercially available parts to support this style of design. Field programmable gate arrays (FPGAs) offer an excellent alternative for rapid developmen...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2012